Merge pull request #1293 from swarren/issue-551-followup
authordavidcunado-arm <[email protected]>
Wed, 21 Mar 2018 20:11:19 +0000 (20:11 +0000)
committerGitHub <[email protected]>
Wed, 21 Mar 2018 20:11:19 +0000 (20:11 +0000)
Don't make build results depend on dependency files


Trivial merge